Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 201 - 240 hits of 359. Search took 0.00 seconds.
Fedora 18 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/18/Everything/x86_64/os/Packages/e/emacs-agda-2.3.0.1-7.fc18.x86_64.rpm |
Fedora 18 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/18/Everything/i386/os/Packages/e/emacs-agda-2.3.0.1-7.fc18.i686.rpm |
Fedora 16 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/16/x86_64/emacs-agda-2.3.0.1-2.1.fc16.x86_64.rpm |
Fedora 16 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/16/i386/emacs-agda-2.3.0.1-2.1.fc16.i686.rpm |
Fedora 19 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/19/Everything/x86_64/os/Packages/e/emacs-agda-2.3.0.1-10.fc19.x86_64.rpm |
Fedora 19 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/19/Everything/i386/os/Packages/e/emacs-agda-2.3.0.1-10.fc19.i686.rpm |
Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/41/Everything/s390x/os/Packages/a/Agda-stdlib-1.7.3-7.fc41.noarch.rpm |
Rawhide | /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/rawhide/Everything/s390x/os/Packages/a/Agda-stdlib-1.7.3-7.fc41.noarch.rpm |
Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/41/Everything/ppc64le/os/Packages/a/Agda-stdlib-1.7.3-7.fc41.noarch.rpm |
Rawhide | /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/rawhide/Everything/ppc64le/os/Packages/a/Agda-stdlib-1.7.3-7.fc41.noarch.rpm |
Fedora 38 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/38/Everything/x86_64/os/Packages/a/Agda-stdlib-1.7.1-5.fc38.noarch.rpm |
Fedora 37 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/37/Everything/x86_64/os/Packages/a/Agda-stdlib-1.7.1-3.fc37.noarch.rpm |
Fedora 37 | /vol/rzm3/linux-fedora-buffet/alt/risc-v/repo/fedora/37/76833/riscv64/Packages/a/Agda-stdlib-1.7.1-3.fc37.noarch.rpm |
Fedora 36 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/testing/36/Everything/x86_64/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm |
Fedora 36 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/testing/36/Everything/ppc64le/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm |
Fedora 36 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/36/Everything/x86_64/os/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm |
Fedora 36 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/testing/36/Everything/aarch64/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm |
Fedora 36 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/36/Everything/s390x/os/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm |
Fedora 36 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/36/Everything/aarch64/os/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm |
Fedora 36 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/testing/36/Everything/s390x/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm |
Fedora 36 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/36/Everything/ppc64le/os/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm |
Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/35/Everything/s390x/os/Packages/a/Agda-stdlib-1.7-1.fc35.noarch.rpm |
Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/35/Everything/aarch64/os/Packages/a/Agda-stdlib-1.7-1.fc35.noarch.rpm |
Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/35/Everything/ppc64le/os/Packages/a/Agda-stdlib-1.7-1.fc35.noarch.rpm |
Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/35/Everything/x86_64/os/Packages/a/Agda-stdlib-1.7-1.fc35.noarch.rpm |
Fedora 34 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/34/Everything/s390x/os/Packages/a/Agda-stdlib-1.3-5.fc34.noarch.rpm |
Fedora 34 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/34/Everything/x86_64/os/Packages/a/Agda-stdlib-1.3-5.fc34.noarch.rpm |
Fedora 34 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/34/Everything/ppc64le/os/Packages/a/Agda-stdlib-1.3-5.fc34.noarch.rpm |
Fedora 34 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/34/Everything/armhfp/os/Packages/a/Agda-stdlib-1.3-5.fc34.noarch.rpm |
Fedora 34 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/34/Everything/aarch64/os/Packages/a/Agda-stdlib-1.3-5.fc34.noarch.rpm |
Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/33/Everything/ppc64le/os/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm |
Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/testing/33/Everything/x86_64/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm |
Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/33/Everything/x86_64/os/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm |
Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/testing/33/Everything/s390x/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm |
Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/testing/33/Everything/armhfp/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm |
Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/33/Everything/armhfp/os/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm |
Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/testing/33/Everything/ppc64le/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm |
Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/33/Everything/s390x/os/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm |
Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/testing/33/Everything/aarch64/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm |
Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/33/Everything/aarch64/os/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm |